First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
721	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
722	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
723	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
724	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:19 Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics
725	Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas,* * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:09 Philosophical logic Predicate logic Propositional calculus Metalogic First-order logic FO Modal logic Propositional variable Closed world assumption Logic Mathematical logic Model theory
726	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.comp.leeds.ac.uk Language: English - Date: 2008-08-18 09:29:21 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
727	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
728	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2003-06-07 19:12:08 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
729	Interpolation for a sequent calculus of generalized quantiers Natasha Alechina FWI, University of Amsterdam Pl. Muidergracht 24, 1018 TV Amsterdam The Netherlands Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-27 15:47:34 Mathematics Sequent calculus First-order logic Function Cut-elimination theorem Natural deduction Sequent Mathematical logic Proof theory Logic
730	LNAI[removed]Syntax and Semantics for Business Rules Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:46:37 Predicate logic Metalogic Data modeling Semantics of Business Vocabulary and Business Rules Unified Modeling Language Modal logic Quantification First-order logic Deontic logic Logic Mathematical logic Philosophical logic

UPDATE